Mints as Adaptors

Architectural Styles as Adaptors 1

The essence of architectural styles is component communication. In this paper, we relate architectural styles to adaptors in the GenVoca model of software construction. GenVoca components are refinements that have a wide range of implementations, from binaries to rule-sets of program transformation systems. We explain that architectural styles can (1) be understood as refinements (like other Ge...

Arrestins as adaptors for ubiquitination in endocytosis and sorting.

Arrestins as adaptors for ubiquitination in endocytosis and sorting Endocytosis is the process by which cells internalize portions of their cell membrane along with embedded proteins. these membrane proteins can be recycled back to the plasma membrane from the endosomal compartments to be reused or, alternatively, follow a degradative pathway to the lysosomes. Seven transmembrane receptors (7tM...

On Mints' Reduction for ccc-Calculus

A formalization of the strong normalization proof for system F in LEGO p. 13 Partial intersection type assignment in applicative term rewriting systems p. 29 Extracting constructive content from classical logic via control-like reductions p. 45 Combining first and higher order rewrite systems with type assignment systems p. 60 A term calculus for intuitionistic linear logic p. 75 Program extrac...

Arrestins as adaptors for ubiquitination in endocytosis and sorting

Clathrin Adaptors Really Adapt

The clathrin pathway is the principal route for receptor-mediated endocytosis and growth factor downregulation. Heterotetrameric clathrin adaptors directly link the clathrin coat with cargo transmembrane proteins that are sorted into coated pits and vesicles. A paper in this issue of Cell describes the atomic structure of the adaptor-protein 2 (AP-2) core, the portion that makes contacts with t...